A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs

Conformance between structural models and their implementations is usually simplified in practice. This is not appropriate to accommodate the usual freedom of implementation for abstract concepts. In this paper, we propose a formal framework for defining conformance between object models and object-oriented programs. The framework is instantiated by providing syntactic mapping rules between model and program elements; from these rules, semantic conformance checking is enabled. The framework includes the notion of heaps of interest, which may remove unstable program execution states for a less strict conformance checking. We evaluate the framework in establishing a conformance notion for a model-driven approach for program refactoring. Resumo. Conformidade entre modelos estruturais e suas implementações é quase sempre direta e simplificada na prática. Este cenário não é apropriado para acomodar a liberdade usual de implementação para conceitos abstratos. Neste artigo, apresentamos um framework formal para definição de conformidade entre modelos de objetos e programas orientados a objetos. O framework é instanciado pelo fornecimento de regras de mapeamento sintático entre elementos do modelo e do programa; a partir destas regras, conformidade semântica pode ser verificada. Este framework inclui uma noção de heaps de interesse, que pode eliminar estados instáveis na execução de um programa possibilitando uma conformidade semântica menos restrita. O framework é avaliado em termos de uma noção de conformidade útil para uma abordagem de refatoramento de programas dirigida por modelos.